Concurrent Productions, Consumptions and Occupations
نویسندگان
چکیده
We investigate the problems of precondition interactions and eeect cumulations, typically caused by the concurrent execution of actions. Our analysis leads to an integration of property oriented and resource oriented approaches to the representation of action and change. We formalize our ideas by introducing an extension A ORC of the Action Description Language A C 1], and give a sound and complete encoding of domain descriptions in A ORC in terms of the Fluent Calculus 8], thereby enabling sound and complete automated inference using SLDENF-Resolution 17, 15].
منابع مشابه
The Integration of Planning into Scheduling with OMP
This paper describes features of the OMP problem solver that integrates planning features in a constraint based scheduling framework. The rationale for this integration is to express problems going beyond the vision of scheduling as a set of resource productions and consumptions but for also being able to express several kind of causal relations between and behind them. This work describes some...
متن کاملGraph Grammar-Based Multi-Frontal Parallel Direct Solver for Two-Dimensional Isogeometric Analysis
This paper introduces the graph grammar based model for developing multi-thread multi-frontal parallel direct solver for two dimensional isogeometric finite element method. Execution of the solver algorithm has been expressed as the sequence of graph grammar productions. At the beginning productions construct the elimination tree with leaves corresponding to finite elements. Following sequence ...
متن کاملSocioeconomic inequities patterns of multi-morbidity in early adolescence
BACKGROUND Multi-morbidity such as cumulating mental health, behavioral, and school difficulties (consumptions of alcohol, tobacco, cannabis, and hard drugs, obesity, depressive symptoms, suicide attempts, involvement in violence, and low school performance) is common in early adolescence and can be favored by a number of socioeconomic factors (gender, age, nationality, family structure, parent...
متن کاملPrime Energy Challenges for Operating Power Plants in the GCC
There is a false notion of existing available, abundant, and long lasting fuel energy in the Gulf Cooperation Council (GCC) Countries; with continual income return from its exports. This is not true as the sustainability of this income is questionable. Energy problems started to appear, and can be intensified in coming years due to continuous growth of energy demands and consumptions. The deman...
متن کاملPerformance measurements of a concurrent production system architecture without global synchronization
The use of the serializability criterion of correctness allows the eliminationof global synchronization in production system machines. In this paper we present an extensive performance evaluation of a concurrent production system architecture that is based on se-rializability and takes advantage of modern associa-tive memory devices to allow parallel production ring , concurrent matching, and o...
متن کامل